Z3, Constraint Satisfaction, Boolean Satisfiability, Theorem Proving, Mathematical Optimization

Evaluating Gemini 2.5 Deep Think's math capabilities
epoch.ai·5h·
Discuss: Hacker News
🏆LLM Benchmarking
Explicit Lossless Vertex Expanders!
gilkalai.wordpress.com·9h
🔬RaBitQ
My Deep Dive into Fine-Tuning: IBM Granite-4.0 with Python and Unsloth! 🚀
reddit.com·4h·
Discuss: r/LocalLLaMA
🏗️LLM Infrastructure
Assuring Agent Safety Evaluations By Analysing Transcripts
lesswrong.com·9h
🏆LLM Benchmarking
SLip - An aspiring Common Lisp environment in the browser.
lisperator.net·6h·
Discuss: r/programming
🌿Leptos
Trillion-Scale Goldbach Verification on Consumer Hardware -novel Algorithm [pdf]
zenodo.org·19h·
Discuss: Hacker News
🔐Cryptography
Experimenting with ACL2 and Claude Code
mikedodds.org·7h·
Discuss: Hacker News
💻Programming languages
Three ways formally verified code can go wrong in practice
buttondown.com·2h
💻Programming languages
Show HN: Realization Jsmn on a Pure Zig
github.com·9h·
Discuss: Hacker News
🔤Tokenization
Effects in Rust (and Koka)
aloso.foo·19h·
Discuss: r/rust
🦀Rust
Neuro-Symbolic AI
en.wikipedia.org·5h·
Discuss: Hacker News
🧠LLM Inference
GPT-5 for AI-assisted discovery
johndcook.com·4h
🏗️LLM Infrastructure
Lobsters Interview with Zdsmith
lobste.rs·13h·
Discuss: Lobsters
Developer Experience
MECE — The AI Principle You’ll Never Stop Using After Reading This
pub.towardsai.net·8h
🔍AI Interpretability
N8n vs. Windmill vs. Temporal
blog.arcbjorn.com·19h·
Discuss: Hacker News
🚀Async Optimization
Chinese fintech giant Ant releases powerful AI model to rival DeepSeek, OpenAI
scmp.com·20h·
🆕New AI
(Forward) automatic implicit differentiation in Rust with num-dual 0.12.0
reddit.com·3h·
Discuss: r/rust
🎭Rust Macros
How different AI engines generate and cite answers
searchengineland.com·7h
📊Feed Optimization
I built a translator for spatial thinking (because I can't interview in Python)
graemefawcett.ca·10m·
Discuss: Hacker News
🪄Prompt Engineering